University of Toronto Department of Mathematics - PDFSEARCH.IO - Document Search Engine

University of Toronto Department of Mathematics
Results: 146

#	Item
101	Ramanujan’s sum Jordan Bell Department of Mathematics, University of Toronto April 7, 2014 Add to Reading List Source URL: individual.utoronto.ca Language: English - Date: 2014-04-07 11:42:08 Dirichlet character Modular arithmetic Arithmetic function Quadratic residue Mathematics Abstract algebra Number theory
102	Proof by bootstrapping Jordan Bell Department of Mathematics, University of Toronto May 4, 2015 The Oxford English Dictionary defines “to bootstrap” as the following: Add to Reading List Source URL: individual.utoronto.ca Language: English - Date: 2015-05-05 10:33:25 Operator theory Functional analysis Spectral theory Multivariable calculus Partial differential equation Distribution Hilbert space Heat equation Theorems and definitions in linear algebra Mathematical analysis Mathematics Calculus
103	An Empirical Study of Multi-Point Constructive Search for Constraint-Based Scheduling J. Christopher Beck Department of Mechanical & Industrial Engineering University of Toronto Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2006-03-23 15:18:06 Search algorithms Mathematical optimization Job shop scheduling Backtracking Algorithm Optimization problem Operations research Mathematics Applied mathematics
104	Recent Advances in AI Planning Daniel S. Weld Department of Computer Science & Engineering University of Washington, BoxSeattle, WA 98195{2350 USA Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2002-02-04 15:45:48 Mathematics Logical syntax Propositional calculus Statements Graphplan Planning Domain Definition Language STRIPS Function Propositional formula Automated planning and scheduling Artificial intelligence Logic
105	Multi-Point Constructive Search? J. Christopher Beck Department of Mechanical & Industrial Engineering University of Toronto Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2006-01-18 12:07:28 Applied mathematics Heuristics Backtracking Pattern matching Algorithm Mathematical optimization Constraint satisfaction Heuristic function Science Operations research Search algorithms Mathematics
106	Combining Discrete Ellipsoid-Based Search and Branch-and-Cut for Binary Quadratic Programming Problems Wen-Yang Ku and J. Christopher Beck Department of Mechanical & Industrial Engineering University of Toronto, Toronto, Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2014-06-02 11:29:44 Operations research Linear programming Quadratic programming Semidefinite programming BQP Mathematical optimization PP Algorithm Preconditioner Theoretical computer science Applied mathematics Mathematics
107	Proactive Algorithms for Scheduling with Probabilistic Durations∗ J. Christopher Beck Department of Mechanical & Industrial Engineering University of Toronto, Canada Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2006-01-18 12:07:28 Theoretical computer science Job shop scheduling Algorithm Mathematical optimization NP Optimization problem Search algorithm Monte Carlo method Shifting bottleneck heuristic Applied mathematics Operations research Mathematics
108	D SHARP: Fast d-DNNF Compilation with sharpSAT Christian Muise1 , Sheila A. McIlraith1 , J. Christopher Beck2 , and Eric Hsu1 1 Department of Computer Science, University of Toronto, Toronto, Canada. {cjmuise, sheila, ei Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2012-03-14 09:53:05 Constraint programming Mathematics DPLL algorithm Knowledge compilation Connectivity Influence diagram Bayesian network Unit propagation Theoretical computer science Automated theorem proving Applied mathematics
109	Average Case Lower Bounds for Monotone Switching Networks Yuval Filmus, Toniann Pitassi, Robert Robere and Stephen A. Cook Department of Computer Science University of Toronto Toronto, Canada {yuvalf, toni, robere, sacoo Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2013-08-15 23:12:55 Order theory Computational complexity theory Functional analysis Monotonic function Real analysis Circuit complexity FO Aanderaa–Karp–Rosenberg conjecture Galois connection Theoretical computer science Mathematics Mathematical analysis
110	A Framework for Optimizing Paper Matching Laurent Charlin Department of Computer Science University of Toronto Toronto, ON M5S 3H5 Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2011-06-18 14:15:44 Peer review Scientific method Matching Stable marriage problem Science Academia Mathematics Academic literature Academic publishing

UPDATE